SEdit - Graphically Validating Technical Systems
نویسندگان
چکیده
In order to minimize the cost of rapid prototyping, SEdit ooers the possibility to validate a technical system before its actual realization. For this purpose, the system has to be described logically by a set of axioms (system speciication). By means of deduction, it can be proven that the system will show the desired behaviour. For the sake of user acceptance and understandability, SEdit is a graphical, interactive tool that may be regarded as a shell for easily invoking logical proofs. The applicability has been demonstrated at the 1995 MEDLAR review meeting 5].
منابع مشابه
Designing and validating a Model for Integration of Professional Ethics Components with Technical Competencies for Industrial Mechanics Branch
Background: The emerging world of work requires the acquisition of a set of non-technical competencies with technical competencies in a career for sustainable employment. This paper aims at designing and validating a model for integrating the ethical components with technical competencies in curriculum based on competency in industrial mechanics’ branch. Method: The research approach is based ...
متن کاملKnowledge management in software design: a tool and a trial
The paper describes experiences in applying a knowledge management tool, called CODE, to the major knowledge management problems in the design of a large commercial software system. There is explanation of how the design of such a product was documented as a CODE knowledge base by using CODE to carefully analyse all the important concepts and terms in direct consultation with the developers. CO...
متن کاملStudy And Analysis Of Low Power Low Voltage Pipeline Architecture Of ADC Using 0.18 μm Technology
This paper is concerned with improving the efficiency of analog to digital converters (ADCs). the fast advancement of CMOS fabrication technology, more and more signalprocessing functions are implemented for a lower cost, lower power consumption, and higher yield. The design of analog-to-digital converters is one of the most critical and challenging aspects in the development of new and more po...
متن کاملUsers’ Performance and Preferences for Online Graphic, Text and Auditory Presentation of Instructions
Traditional technical manuals consist primarily of text supplemented by tabular and graphic presentation of information. In the past decade technical information systems have increasingly been authored for presentation on computers instead of on paper; however a stable set of standards for such manuals has yet to evolve. There are strong beliefs but little empirical evidence to guide standards ...
متن کاملDual-band, Dynamically Tunable Plasmonic Metamaterial Absorbers Based on Graphene for Terahertz Frequencies
In this paper, a compact plasmonic metamaterial absorber for terahertz frequencies is proposed and simulated. The absorber is based on metamaterial graphene structures, and benefits from dynamically controllable properties of graphene. Through patterning graphene layers, plasmonic resonances are tailored to provide a dual band as well as an improved bandwidth absorption. Unit cell of the design...
متن کامل